Natural deduction system
[计] 自然演绎系统
🧩 词语组成解析
natural
['nætʃrəl]
adj. 自然的;物质的;天生的;不做作的;
n. 自然的事情;（生来的）白痴;[乐]（风琴等的）白键;
natur=nature自然+al...的 →自然（界）的
deduction
[dɪ'dʌkʃən]
n. 推演，推理，演绎;（推理所得出的）结论;扣除，减除;扣除的量;
duc,duct =lead,bring,表示”引导,带来”#词根助记：de向下+duce引→向下引→推论
🗣️ 情景例句
Don't you see?
你不知道吗?
A fox should not be of the jury at a goose's trial.
审鹅不应狐陪审。
I haven't told you that my family made a lot of money in the nineteenth century by making children work 16 hours a day in their factories.
我还没有告诉过你，我的家在19世纪的时候赚了一大笔钱，是强迫儿童在工厂里一天劳动16个小时赚来的。